Andrzej Trybulec

#	Item
11	MKM 2001 First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001 Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2001-03-25 13:36:33 Mathematical knowledge management Mathematics Science Buchberger Michael Kohlhase Andrzej Trybulec Knowledge Research Institute for Symbolic Computation Bruno Buchberger Hagenberg im Mühlkreis James H. Davenport
12	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
13	PDF Document Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-07-02 01:48:02 Quantification Mizar system Andrzej Trybulec Mizar and Alcor Propositional calculus Function FO Universal quantification Natural deduction Logic Mathematical logic Mathematics
14	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods